Study of highly perturbed spacecraft formation dynamics via approximation

This paper explores methods for approximating and analyzing the dynamics of highly perturbed spacecraft formations with an emphasis on computationally efficient approaches. This facilitates on-board computation or rapid preliminary mission design analysis. Perturbed formation dynamics are often approximated as linear time-varying (LTV) systems, for which Floquet theory can be used to analyze the degree of system instability. Furthermore, the angular momentum of the relative orbital state can be computed with the approximate dynamics to provide additional insight. A general methodology is developed first and then applied to the problem of unstable formation dynamics in asteroid orbits. Here the dominant perturbative effects due to low-order gravitational harmonics and solar radiation pressure are modeled. Numerical simulations validate the approach and illustrate the approximation accuracy achieved.     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

并联机器人运动性能的研究现状及发展趋势

随着并联机器人技术的发展,其运动性能的提升成为了发展需求,指出了研究工作空间和奇异位形的必要性。以研究方法为主线,详细阐述了工作空间和奇异位形的国内外研究现状及特点,进一步提炼出个体的创新思想和面临的共同难题。通过深入分析研究方法的原理,找到了解决共同难题的突破口,同时剖析了研究中的尚存难题。结合未来的发展趋势,从结构综合和理论创新两个方面进行突破,能够为并联机器人的发展提供强劲动力。得出的结论和展望给从事这一领域的研究者们提供了参考。     

Fully distributed time-varying formation tracking control for multiple quadrotor vehicles via finite-time convergent extended state observer

This paper investigates a time-varying anti-disturbance formation problem for a group of quadrotor aircrafts with time-varying uncertainties and a directed interaction topology. A novel Finite-Time Convergent Extended State Observer (FTCESO) based fully-distributed formation control scheme is proposed to enhance the disturbance rejection and the formation tracking performances for networked quadrotors. By adopting the hierarchical control strategy, the multi-quadrotor system is separated into two subsystems: the outer-loop cooperative subsystem and the inner-loop attitude subsystem. In the outer-loop subsystem, with the estimation of disturbing forces and uncertain dynamics from FTCESOs, an adaptive consensus theory based cooperative controller is exploited to ensure the multiple quadrotors form and maintain a time-varying pattern relying only on the positions of the neighboring aircrafts. In the inner-loop subsystem, the desired attitude generated by the cooperative control law is stably tracked under a FTCESO-based attitude controller in a finite time. Based on a detailed algorithm to specify the cooperative control protocol, the feasibility condition to achieve the time-varying anti-disturbance formation tracking is derived and the rigorous analysis of the whole closed-loop multi-quadrotor system is given. Some numerical examples are conducted to intuitively demonstrate the effectiveness and the improvements of the proposed control framework.     

考虑两种失效竞争的多状态冷贮备系统可靠性模型

针对装备系统中多状态工作部件存在退化失效与突发失效竞争的情况，以冷贮备系统为研究对象，假设系统内3个维修台可分别提供预防性维修与两种不同类型的修复性维修，采用随机检测策略，系统性能水平在一定范围内退化时进行预防性维修，部件完全退化失效时进行退化失效修复性维修，而突发失效时进行突发失效修复性维修；利用PH （Phase-type）分布描述模型中各类随机时间变量，外部冲击的到达则采用PH更新过程描述，建立了考虑退化失效与突发失效的多状态冷贮备系统可靠性模型。最后通过算例验证了模型的适用性，演示了预防性维修阈值以及三类维修速率对系统可靠性的影响。     

基于证据理论的覆盖决策信息系统约简的数值刻画

决策为划分的覆盖决策信息系统的特征选择理论和方法日趋成熟。但在数据采集的过程中,有些数据集存在对象的决策缺失或决策不能完全确定情况,那么将决策刻画为覆盖更加合理。而决策为覆盖的覆盖决策信息系统特征选择的研究却很少见。本文讨论决策为覆盖的覆盖决策信息系统的特征选择,利用证据理论中的信任函数和似然函数给出覆盖决策信息系统约简的等价刻画,从而给出求约简的算法,并以实例说明该方法的有效性。     

可重复使用热防护材料应用与研究进展

可重复使用热防护系统是为高速重复使用飞行器而发展的关键性技术,涵盖了地球大气环境及非地球大气环境下的弹道式再入、高马赫数巡航等应用场景。根据现有高马赫数飞行器热防护现状,对高马赫数飞行器的主要热防护系统类型、特点和使用场景进行了简要介绍。在此基础上,结合国外里程碑式可重复使用飞行器（X-15、SR-71、航天飞机、X-33、X-37B、Spaceliner等）,梳理了可重复使用热防护材料的应用与研究进展,论述了代表性可重复使用热防护材料的发展、性能、研制进度、特点及应用前景。对国外在可重复使用热防护材料研制中的设计及发展思路,以及所存在的主要问题进行了总结归纳,为可重复使用热防护材料未来的发展提供了思路。     

基于Kalman滤波的变体飞行器T-S模糊控制

针对变体飞行器的跟踪控制问题,提出了一种基于Kalman滤波的T-S模糊控制方法。考虑飞行器系统状态不可测,引入惯导数据作为辅助信息,利用Kalman滤波算法融合飞控信息与惯导信息实现状态估计。由于变体飞行器在不同变形结构下气动特性变化较大,为便于控制器设计,采用小扰动线性化方法得到飞行器在不同平衡点处的局部线性模型,并通过状态反馈方法设计局部控制器,局部线性模型和局部控制器通过模糊集和模糊规则聚合成一个连续光滑的全局T-S模糊模型和T-S模糊控制器。通过综合Kalman滤波器与T-S模糊控制器得到一个基于Kalman滤波的T-S模糊控制器。仿真结果表明,该控制器在变形过程中能够实现状态估计,保证飞机的跟踪性能。     

基于LMI的Lipschitz非线性不确定系统的鲁棒控制

在常态Lipschitz非线性的基础上,考虑状态参数不确定性。针对这类Lipschitz非线性系统的反馈控制问题,运用Lyapunov方法给出了该系统渐近稳定的充分条件,并提出了应用线性矩阵不等式（LMI）来求解优化反馈增益矩阵,通过定理和Matlab仿真实例得出设计的观测器有效,具有良好的稳定性和鲁棒性。     

国外通用开放式结构标准的应用情况

SAE AS4893标准定义的通用开放式结构（GOA）是嵌入式系统的层次化体系结构模型。通过对GOA领域目录集的开发与维护标准化过程的分析,结合GOA在航空电子领域的应用案例展示其标准化技术的应用现状;并考虑到先进综合式航空电子系统在任务功能划分和系统工程方法方面的应用要求,探讨并展望GOA标准化技术应用于新一代航空电子系统开发过程中的注意事项。